VDict mobile



foreign function not found. Suggestions:

higher-order function
function
hash function
partial function
injection
linear function
strength reduction
bracket abstraction
total function
one-way hash function